text view: add padding and margin
authorSebastien Lafargue <slafargue@gnome.org>
Tue, 23 Dec 2014 20:30:24 +0000 (21:30 +0100)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 17 Aug 2015 05:40:32 +0000 (01:40 -0400)
commitd1381569fdf2abde1535db1fcff07b3c767d396d
treec269b0b248d6b046119cb7d527b47f446ee515cf
parent825d1285e30351b6522b37b157d2275a48cc865f
text view: add padding and margin

Add API to set top and bottom margins, and add the CSS padding
from the theme to the programmatically set margins.

https://bugzilla.gnome.org/show_bug.cgi?id=406159
docs/reference/gtk/gtk3-sections.txt
gtk/gtktextlayout.c
gtk/gtktextlayout.h
gtk/gtktextview.c
gtk/gtktextview.h